21dbbf2d4bd86ef16390cdf5a441dfde45fe08bf,plugins/org.eclipse.xtext.ui/src/org/eclipse/xtext/ui/editor/folding/DefaultFoldingRegionAcceptor.java,DefaultFoldingRegionAcceptor,getLineRegion,#number#number#,46

Before Change


				position = new Region(start, end - start);
			}
		} catch (BadLocationException e) {
			log.error(e.getMessage(), e);
		}
		return position;
	}

After Change


				position = new Region(start, end - start);
			}
		} catch (BadLocationException e) {
			if (log.isInfoEnabled())
				log.info(e.getMessage(), e);
		}
		return position;
	}